Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων
1
Mathematical Theory of Computation

Mathematical Theory of Computation

Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 15.09 MB
0 / 0
english, 2003
2
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Έτος:
1995
Γλώσσα:
english
Αρχείο:
PDF, 23.93 MB
0 / 0
english, 1995
3
Mathematical Theory of Computation

Mathematical Theory of Computation

Έτος:
1974
Γλώσσα:
english
Αρχείο:
DJVU, 3.21 MB
0 / 0
english, 1974
4
Lectures on the logic of computer programming

Lectures on the logic of computer programming

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 312 KB
0 / 0
english, 1987
5
Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Έτος:
1987
Γλώσσα:
english
Αρχείο:
PDF, 1.66 MB
0 / 0
english, 1987
6
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Έτος:
1991
Γλώσσα:
english
Αρχείο:
DJVU, 2.80 MB
0 / 0
english, 1991
7
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Έτος:
2010
Γλώσσα:
english
Αρχείο:
PDF, 3.93 MB
0 / 0
english, 2010
8
Lectures on the logic of computer programming

Lectures on the logic of computer programming

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 269 KB
0 / 0
english, 1987
9
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Έτος:
2010
Γλώσσα:
english
Αρχείο:
PDF, 5.00 MB
0 / 0
english, 2010
10
Lectures on the logic of computer programming

Lectures on the logic of computer programming

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 258 KB
0 / 0
english, 1987
11
Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Έτος:
1980
Γλώσσα:
english
Αρχείο:
DJVU, 331 KB
0 / 0
english, 1980
12
Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Έτος:
1987
Γλώσσα:
english
Αρχείο:
DJVU, 312 KB
0 / 0
english, 1987
13
计算的数学理论 下

计算的数学理论 下

Έτος:
1979
Γλώσσα:
chinese
Αρχείο:
PDF, 14.44 MB
0 / 0
chinese, 1979
14
The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Έτος:
2007
Γλώσσα:
english
Αρχείο:
PDF, 2.62 MB
5.0 / 5.0
english, 2007
15
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Έτος:
1992
Γλώσσα:
english
Αρχείο:
PDF, 8.62 MB
0 / 0
english, 1992
16
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Έτος:
2010
Γλώσσα:
english
Αρχείο:
PDF, 4.01 MB
0 / 0
english, 2010
17
Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Έτος:
1985
Γλώσσα:
english
Αρχείο:
DJVU, 4.53 MB
0 / 0
english, 1985